x86: identify which vcpu's CR4 is being badly modified
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 26 Mar 2014 14:36:13 +0000 (15:36 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 26 Mar 2014 14:36:13 +0000 (15:36 +0100)
commit29f7ec2a9231352de05523e88619e9cef9ed695c
treeedd01f63a9b60b673a8fb60559006c38f158e2d8
parent38457ed7fac563b47487d1885b212e4e1efd0350
x86: identify which vcpu's CR4 is being badly modified

When the toolstack is setting vcpu state on behalf of a migrating guest, the
domain/vcpu reference from gdprintk() identifies the toolstack, not the
affected domain.

After this change, the error looks more like:

  (XEN) d0 attempted to change d6v0's CR4 flags 00002660 -> 01876000

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c